This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...